function emptyWithArray(...{p: []}) {}
